自動化推論工具自動推理工具automate: vt. 1.使(工廠、工序等)自動化。 2.使用自動化技 ...reasoning: n. 推論,推理;論究,論斷;理論,論證;論法。 adj ...tool: n. 1.工具,用具,器具;【機械工程】刀具;工具母機 ...automated reasoning tool (art): 自動化推論工具automated reasoning: 自動推理下載手機詞典可隨時隨地查詞查翻譯